rewrote manifold search, added MDL heuristic, updated logging