add str() and repr() to Insn