fixed a bug in command_helper (alloy no scope to be specified when body is given); added Int func for converting ints to IntExpr
formatting
the 'trivial' example