support for operators
smarter constraints representation
misc fixes
misc fixes
misc fixes
misc fixes
added gamma in min/max, to allow unifications
fixes