subcategories-0.1.0.0: Subcategories induced by class constraints