1. Ensure that all pattern-closures begin with a P-ALT.
2. assign-paths should properly handle (P-TUPLECAT x) (one item).