set comprehension; configuration options for AlloyPrinter; expressions instead of types in Args
added a generic test method for integer binary operators
Merge branch 'master' into ido
moved __type to MExpr
merged
Merge branch 'ido' of github.com:aleksandarmilicevic/alloy_ruby into ido

Conflicts:
	lib/alloy/ast/expr_builder.rb