PrintReconstructedTerms

Print fully reconstructed terms, with all hidden arguments/patterns displayed.

From this one can read of how the type checker understood one's input.

Applies to: CLI, ?Emacs?

There is already the flag --show-implicit which will show all implicit arguments when printing. This could be combined with some way to print the type checked signature.