Various type-related fixes to compiler source code.