New bytecode format

- Implemented new bytecode format (closes #5)
- Added some internal docs
- Also, I've forgotten to close #3, so I'm doing it now ;)