Refactored signatures: class and message asts are now extracted once
Precomputed declarations of classes/methods are now used in checkers
Further exploit precomputed declarations
Merge branch 'master' of https://github.com/cwi-swat/rascal.git