refactoring, added saving of best programs, added support in symbolic dimensionality reduction for wildcards
refactored enumeration code
added a progress bar for backwards enumeration