Blah
Deleting a lot of crap.
Merge branch 'kemi' of github.com:software-engineering-amsterdam/sea-of-ql into kemi
Merge branch 'kemi' into typestuff
Basic typechecker
Identifier type checking.
Question labels are checked as well.
Started typechecker. This one does look nice.
Typechecker is done.