factored out associateLift, lambdaLift, rhoLift. Instances for An.
Symmetric Empty and Unit