Initial implementation of Irony-based AST
Switch to F# - implemented parser and typing
Implement k-normalization
Implement alpha-normalization
Implement elimination of unnecessary definitions
Implement beta reduction
Implement reduction of nested lets
Implement function inlining
Implement const-folding
Implement optimisation
Implement closure conversion
Use closure conversion in pipeline