Continuations are not fun
Removed some old files
Removed alternative (not working) LF formalization
Reordering in termination of LF
Towards extraction for LF, no dia
Ocaml code extracted
Progress is now done for typing and steps in Type
More typing
No Setoid in LFND anymore
Extraction with (hopefuly) no admitted lemmas