undefined type aliases not raising errors

[kevinclancy]

Running tlc on the following code generates no errors.

interface Test
  x : snuffleupagus
end

[mascarenhas]

Resolution of references to global type aliases inside interfaces is lazy, so we can have mutually recursive interfaces. There should probably be a pass that checks all exported types of a module for dangling references.