subcategories-0.1.1.0: Subcategories induced by class constraints