Moving back to all statements being expressions, but this time all resolution is handled by generated nodes, not by expression or statement classes.