A git ignore
Training whitespace + cma construction + env update + mkApp fix
Diag calls diag in return clause without apparent deBruijn mess

Next step is to erase impossible branch at toplevel like we do in recursive calls
Then we'll have to generalize automaticaly stuff in the context we share dependences
Commentary update