foldNameEnv is nondeterministic in the general case and it's
currently unused so we can remove it.