Rudimentary architecture document

This is partly to give myself a high-level overview of the
interpreter's architecture and some reasoning behind various
decisions.  It should also help hackers get oriented.
Remove TODO list

I've transferred all these to GitHub Issues