improved asymptotic efficiency of enumeration caused by custom proposals
fixed bugs in symbolic dimensionality reduction