Rewrite of type system.
Added members to visitor to remove instanceof contructions.
Merge branch 'master' of https://github.com/software-engineering-amsterdam/sea-of-ql
Major type system rewrite, typeof method added.