typed subobject classifier, faster subinstances