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)