bugfix parsing MINUS
unary minus: mean value constraint
bugfix: parsing without meanvalue constraint
primitive constraint for unary minus
unary minus added
first version with mean value constraint
faithful printing of box boundaries
producing correct box boundaries
spec for diff
comments added
