subcategories-0.2.0.1: Subcategories induced by class constraints