Type objects for the jcilketon language extension.