Garbage collection of unused static errors.
Garbage collection of documentation of unused errors.
More error garbage collection.
GC doc.
Corrected error message.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
Cleanup static errors
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
Improved error message
Improved message
Changed the exceptions that are thrown.
Progress in writing documentation for all static messages.