changed MExpr not to require type for certain cases when convering a ruby block to an alloy quantifier