Refl package:constraints

Reflexivity of entailment If we view (:-) as a Constraint-indexed category, then this is Category