Type objects for the jjeton language extension.