Expose the environments in Sem_equiv.