Fixed heaps of bugs.
Document bytecode for a putative interpreter.