introduced new operator style that is more concise, closer to Scala and has domain and constraints next to each other; changed a few specs to illustrate new style