Since pattern synonyms are bindings, and they introduce TyThings into the global env, tcTopBinds needs to update the global env as well as the local one