Type objects for the base compiler.