Some rudimentary work on type naming.

For now, only CompiledTypes get names, and they get it at the moment of compilation. You can look up types by their names though (from TypeManager.)