@hackage constraints0.1

Constraint manipulation

Constraint manipulation