expose Void, pretty print Expr, --desugar option, comprehensions use '[]'