Enable pretty stacktrace of LLVM
Update OASIS to 0.4.4 and use the alpha feature: compiled_setup_ml
Merge branch 'master' into pattern-matching
Erase datatypes in the untyped tree and add a new term Variant instead
Add setup.exe to the .gitignore
Separate types (TypedTree) from functions (TypeChecker)
Separate types (UntypedTree) from functions (Lambda)
Merge branch 'master' into pattern-matching

Conflicts:
	src/main.ml
	src/typeChecker.ml
	src/typedTree.mli
pattern matching: Begin the backend work