worklog
rename Prettyprint.hs -> Prettyprinter.hs
Typechecker: hello world
worklog
constraint based type checking

collecting constraints, no unification yet
convert AstTypes to SplTypes
fix compiler warnings
proper handling of type variables is done in helper function