Type objects for the Efg language extension.