Add eta equivalence