improved error handling of module loading
changed temporary path for testing IO to tmp://
added basic support for concrete syntax fragments to type checker
fixed error message for importer
Merge branch 'master' of github.com:cwi-swat/rascal