Completed the implications of list splicing in pattern matching.

- No more automatic list splicing in patterns (always use the splicing
operator *).
- Adapted all affected tests.
Removed automatic splicing from set pattern matching