The following additional docs are needed.

• exact semantics of the Bytecodes to support porting to additional languages
• working with arrays of language primitives
• explanation of open and closed variable-length lists