allow type specifier to be symbol
doc
simplify implementation of MemberMatchingSet
doc