Improved text pretty-printing of constraints