Pretty printing instances for InterpreterInstr