With AOT compile, templates are turned into Typescript code which is typechecked. The IDE integration isn't there yet, but it's in the works.

Also with AOT compile, breakpoints inside templates are possible, so you absolutely can step through an NgFor :)