Refl package:constrained-categories