Made copiler robust against circular imports
TypeReifier now also handles recursively imported types.
Fixed sevarl type errors
Fixed more type errors.
New numbers
Merge branch 'master' of https://github.com/cwi-swat/rascal.git