Merge pull request #3 from swannodette/master

`listo` -> `seqc`
remove seqc, now redundant since it is in core.logic
An attempt at STLC with explicit error messages.

It's too verbose and lacking source contexts.
avoid nom/hash with variable nom per LOGIC-101
minor formatting