#533 Reveal inferred types (fix undo behavior)