Remove references to SynTyCon. Fixes #9812