Type objects for the predjeton language extension.