Type objects for the Jrif language extension.