apair, fst, snd, aunit, isaunit clauses in eval-under-env