Type objects for the jeddeton language extension.