`listo` -> `seqc`

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

Add test to show that reducing step works.
add tabled version of `redo*`, `tredo*`
try tabling `qredo*`
Merge pull request #3 from swannodette/master

`listo` -> `seqc`