refactored type system to include ..Type type objects and added typeOf methods to all expressions
Removed singletons from implementations
Restored dependency checker and fixed all unit tests
Merge branch 'bartolkaruza-fb' of https://github.com/software-engineering-amsterdam/sea-of-ql into bartolkaruza-fb
simplified type generation in symbol table and other minor refactoring
Added skeleton for the Android interpreter