#77 adjust push bytecode generation, add distinction between int and string