Infrastructure for verifying type well-formedness

[dhil]

During the refactoring of the type structure #637 we collapsed the type structure into a single monolithic data type. This change trades static well-formedness guarantees in favour of making the type structure more easily extensible. We should use the visitor infrastructure in Links to implement dynamic well-formedness checkers for types.