add format to Min Constraint and some minor unification of dots and quotes