Rework Refinements (again), implement real .equals()