added some lazy enumeration to symbolic sets