Interface duplication fix
TypeCheckError introduced instead op exception and assertions for type checking replaced by conditional
Nature/Natural refactoring…
Merge branch 'master' of https://github.com/software-engineering-amsterdam/sea-of-ql