Docs/cleanups
Fix SetMember overlaps for Lift