`listo` -> `seqc`

`listo` wasn't handling partially instantiated lcons w/
correctly. `seqc` now does.

Add test to show that reducing step works.