added lazy enum feature for set comp. (found a bug in domain generation - will be fixed soon)
+tests