thoughts about env_rs

replace good_contags_env and envC_tagenv with to_i2_invariant, since it
should probably say everything they said. not completely sure how to use
it, though, and seem to be missing an invariant for exhLang.