First version of MTT with conversion using Eval.

There are still problem in the case we try to unCompAs or unFillAs a variable.
removing unused MTTtoCTT file
Revert "mapOnPath is not a primitive anymore"

This reverts commit ae9f6f399fcf43a2f069f71d648e3c8544fd1bb9.

Conflicts:
	MTTtoCTT.hs
monadic versions of unCompAs and unFillAs
Revert "monadic versions of unCompAs and unFillAs"

This reverts commit 8749c7952612727a22ce6a87bba712e4cb11ba40.
added more cases in conv and modified Eval
added some example
fixed evaluation and conversion
cleaning ~files
setting a .gitignore
renaming testFill to isNeutralFill
fix congRefl wrt the new interpretation of mapOnPath
conv of undefined
test4 tries to reduce the current bug
changing trace logs
fixed a bug with looping evaluation
bugfix in Kan Com 1 by Simon
various fixing and commenting
adding the new neutral value VInhRec
more testing conversion in bool