Comments and formatting in TyCon
Remove references to SynTyCon. Fixes #9812