Settings unification: expression
Get rid of settings.semicolon
Unify settings: statements
Gen wrapping
Use $ notation for AST nodes
Direct gen calls: expand stmt