Intern types #330
Description
rustc is unbearably slow at the moment, largely due to unify. We should do what LLVM does and intern types in one global table and refer to them by index into that table. We can then keep a cache on the side of unified types.