Added union, difference and intersection expressions
Merge remote-tracking branch 'origin/master'

Conflicts:
	code/languages/org.clafer.mps/solutions/org.clafer.example/models/org/clafer/example/demo.mps
Merge remote-tracking branch 'origin/master'