Few new raw types
adding a few basic types
Adding support for opcode pop
More tests, very good ones