Fixed headTail to use the correct pattern, now that embedded lists are no longer implicitly spliced
Merge branch 'master' of github.com:cwi-swat/rascal
Merge branch 'master' of github.com:cwi-swat/rascal
Merge branch 'master' of github.com:cwi-swat/rascal
Merge branch 'master' of github.com:cwi-swat/rascal
Merge branch 'master' of github.com:cwi-swat/rascal
Merge branch 'master' of github.com:cwi-swat/rascal
Merge branch 'master' of github.com:cwi-swat/rascal
Added support for splice patterns with explicit types
Merge branch 'master' of github.com:cwi-swat/rascal