| Apply of what * note
| Change of inferred * what * where * pattern * note
| Clear of hyp list * note
| ClearBody of hyp * note
| Branch of step list list * note
| Apply of what * note
| Change of inferred * what * where * pattern * note
| Clear of hyp list * note
| ClearBody of hyp * note
| Branch of step list list * note