Add a few functions
Ignore some more
Add CBN semantics (not tested yet)'
Start using .mli files