added removal of a trivial symmetry from backwards enumeration
added ability to increase the number of iterations of expectation maximization
minor changes
major overhaul of symbolic dimensionality reduction. it works now!
implemented fast merging of programs with wildcards