Type well-formedness.

Checking structs still needs a bit of work.