Type objects for the aspectjeton language extension.