Introduce a ListP for consistency with ListE. Splicing in something with a list pattern now works too. Added various list tests.