commit to merge
Merge branch 'dev' of https://github.com/mickael-menu/picc into dev
new test file FTests
Commit various changes
Minor push
TTest merge
backend version functor
Merge branch 'dev' of https://github.com/mickael-menu/picc into dev
a little frontend
I hate git
non
front end produce a main
Merge branch 'dev' of https://github.com/mickael-menu/picc into dev
Multiples Typing fixes + mini refactoring
Fix type check for Call
commit to merge
Merge branch 'dev' of https://github.com/mickael-menu/picc into dev

Conflicts:
	src/ASTUtils.ml
	src/TTests.ml
Typing.ml and TTests
begining interfacing with the new values representation
esize and minor changes