Set_stdset<> implemenation (but regtests need cleanup/are incomplete)