A large number of changes for scoping of types, plus the addition of keyword parameter support for ADT and constructor declarations
Fixed minor error in checker type expansion code
Now always precompile benchmark before measurement

We are now at 12.9x
Added tests for multiple typed/untyped multi-vars in list/set pattern
Fixed issues with multiple, typed/untyped, multi-vars in list/set
patterns
Fixed double counting of tests
Improved test reporting
Improved reporting for multiple test suites
Mods to improve typing of list and set patterns, resolves #471
Using new reporting functions
Updated test progress
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
Documented test progress
First check static error messages, then use the config to compute other
static information.
More changes to constructor matching to properly account for inferred types, resolves #471
Allowing keyword parameters, resolves #458 and #478
Fixed type instantiation match code to expand void lists and sets to void list relations and relations of the necessarity arity, resolves #459
Treating deep patterns as inferred types, allowing them to masquerade as whatever is expected, resolves #472
Added support for reified type patterns, resolves #318
Merge branches 'master' and 'muAnd-muOr' of https://github.com/cwi-swat/rascal into muAnd-muOr