more descriptive names for guards/effects/triggers
removed unnecessary puts
added helper methods 'some' and 'no' to Expr
fixed some bugs in the hotel model