- | Cut of name * what * note
- | LetIn of name * what * note
- | Rewrite of how * what * where * note
- | Elim of what * using option * note
+ | Cut of name * what * note
+ | LetIn of name * what * note
+ | LApply of name * what * note
+ | Rewrite of how * what * where * pattern * note
+ | Elim of what * using option * pattern * note
+ | Cases of what * pattern * note