Running passes in the Fresh monad
Simplifications
Simplifyng conjectures
Changing status of conjectures
Boolean builtins
Match expressions
Duplicated functions
Lambda and let lifting
Function definitions
Data types
Monomorphisation
Induction
Miscellaneous
Building pass pipelines