An equational re-engineering of set theories