Quasi-quotation of lists in interpreter/compiler

* Introduce Sequence type which Pair and Vector implement.
* Standardize on "Len()" for all sequence types.

Tests pass