refactoring of symbolic memebership. symbolic sets now accept types as members (not only concrete values)