Do not exit analysis when a type alias is invalid

[lpil]

Register an error and continue analysis of the rest of the module

Split from #2766

Questions

If a type definition is invalid then it could produce a large number of error messages from the rest of the module as any place that references this type will get a "undefined type" error. Should we in keep track of there being a failed type with this name and suppress unknown type error messages relating to it? I think it would be a nice experience to only see the root error.