subcategories-0.2.0.0: Subcategories induced by class constraints