op: improve __tostring
emulation of tvm in lua