SI-6994 Avoid spurious promiscuous catch warning

It was being issued upon re-typechecking of a transformed
tree. Now we disable the warning post-typer.
Merge pull request #1935 from retronym/ticket/6994

SI-6994 Avoid spurious promiscuous catch warning