Refactored typechecker
Unit tests are no longer parameterized
Updated typechecking test
Updated typechecking test again
Refactored package hierarchy, added expression evaluation types
Started expression evaluation
Merge branch 'master' of https://github.com/software-engineering-amsterdam/sea-of-ql