Fix how types are converted to strings. This actually fixes some bugs that come from generating docs.json, which led to incorrect types being used in the compiler.
Get the core libraries compiling again. Fix type signatures that have super-types, and fix bugs in a couple files.