Improve pretty-printing for Insts