 -> TCEnv r
--------------------------------------------------------------------------------
tcEnvAdd s γ = γ { tce_names = envAdd (F.symbol s) s $ tce_names γ }

---------------------------------
tcEnvAdd :: SymInfo r -> TCEnv r -> TCEnv r
tcEnvAdd s γ = γ { tce_names = envAdd (F.symbol s) s $ tce_names γ }
tcEnvAdd s γ = γ { tce_names = envAdd (F.symbol s) s $ tce_names γ }