adding lambda generation
Ordering, .ml and .mli are to be done in tt_restore.ml