Create project.ml
Add type arbre polymorphe
Add type expression (not finished)
Add some other type need details