#533 Reveal inferred types (in whole files)