Begun implementing new List type.

The new List is a recursive pair, like in scheme. It's not done yet.
Interpreter now uses Lisp-like lists internally instead of `Vec`s
Slight performance impact, probably due to more use of heap. On the other
hand, however, the increased heap usage helps prevent stack overflows.