Attacking the primitives problem from several different angles
In some situation a nested Cons pair turns up and confuses the iterator
Simplifying and inlinging tagged long helpers from various spikes
Mini tweaks