Added bytecodes and updated doc/vm slightly