Added the code for splice patterns to the type checker.
Fix in the type checker: typed multivariable patterns do not
introduce types to be inferred.
Fix in the type checker: fail when the subject type is incomparable
with the pattern type.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git