Add elimUnit and elimPair

We need those for now, while we don't have eta-equality.
Add testing of initial environment to the integration tests