added the Int constant in Alloy::Dsl
added the ** for AType
added a helper method to ExprBuilder that creates a union of many expressiosn
added conversion from Range to Expr
changed the printer to print conjunts of a function body in separate lines
added a missing 'require'
continued to work on the sudoku example