constraints-0.12: Constraint manipulation

Index - Z

zeroLeData.Constraint.Nat