| Cut of name * what * note
| LetIn of name * what * note
| Rewrite of how * what * where * pattern * note
- | Elim of what * using option * note
+ | Elim of what * using option * pattern * note
| Apply of what * note
| Change of inferred * what * where * pattern * note
| ClearBody of name * note