Type_inhabitation loading ...