more lazy enum of symbolic sets