see MAJOR-CHANGES
fix order in if print
fixed stochastic flip_
see MAJOR-CHANGES - Aug 19
fixing something I broke on git
fixed a bug in enumeration with bound variables and allowed enumeration to be in order of increasing depth (via depth_to_terminal)
merge from piantado/LOTlib
fix merge conflicts with jthurst3/LOTlib