Safe AST Transformation

You will apply structural transformations to user code without violating borrow checker invariants.