Consider not reporting type errors on unknown types

[amishne]

Unknown types are almost always generated from invalid syntax or missing references, but type errors are hiding those more important errors. Either do not report on type errors when the actual type is "unknown", or find some way to mark type errors as lower priority than other errors.