nail down contract of Set/Map wrt equality