ShieldedSeq commutes improved.

Nested commutes are still possible, but only if the outer commute is immediately
executed when enlisted. Improved Append() commuting to commute even
when the head is read. Added tests that check all this.