WIP Moving everything into Types to remodularize later.
Get tests passing again.

Definitions are available in interactive mode now, but operator fixities
aren't preserved yet.