evaluator Expr->GExpr is actually quite simple