Completed concrete matching

After a long and winding journey all aspects of concrete matching are
now working properly in compiled code.

Testing is a bit awkward since the interpreter implementation of these
features is still a bit flaky.

I still have to convert the compiler tests that can be used by the
interpreter as well.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git