Added simple example program to type-check
Moved Var constructor to the appropriate level so it no longer appears in the name of a function definition. Also moved some things around and renamed others.
First succesful attempt at collecting some constraints