corrected auto-format for labeled statements (with state names) and
generic types (with < >)
corrected NPEs when writing incomplete typedefs
moved warning about deprecated names to WarningValidator
moved check about type of setup/loop to StructuralValidator
validator: moved checks, now validates even in the presence of errors
(because the rest of validators do)
instantiator tolerates unresolved references to entities
remove dead code from instantiator (not needed anymore since we have two
different maps mapEntities and mapSpecialized)
instantiator works properly with typedefs
maps Cx typedefs to concrete IR types, that are used by Typer when
finding the types of variables (even locals)