removed enum_symbolic from enumeration symbolc for design consistency reasons. Enumeration (conversion to explicit frozenset) is now done by symbolic sets (enumerate_all method).
this commit is only a refactoring