Three contrasting implementations objects without identity R&T as primitives A new integrity level, a new equality operation (not used by existing maps and sets) A new deep eq. operator Question 1: Does a deep equality operator make Records and Tuples better in terms of implementation? Problem 1: if R&T are objects, what happesn to builtin methods?