| Intros of count option * name list * note
| Cut of name * what * note
| LetIn of name * what * note
| Rewrite of how * what * where * pattern * note
| Elim of what * using option * pattern * note
| Intros of count option * name list * note
| Cut of name * what * note
| LetIn of name * what * note
| Rewrite of how * what * where * pattern * note
| Elim of what * using option * pattern * note