+ copying the old advance(), mostly verbatim
+ fixing expression-recognizing
+ pretty sure advance() must have been broken in upaws. fixing immediately-nested expressions.
(re vis) Updating the `locals` semantics.

This is the beginning of the work required to update this implementation to design10. Most of that will occur in another branch, but some of the changes I can't work without, including this one.