- exprseq and lst are commutative (they shouldn't appear in products anyway,