Theory update; milestones
Lexer cleanup
Added peak bytecode assembler lib