fixed two bugs for the new E-matching implementation, added aggressive miniscoping option --ag-miniscope-quant, minor cleanup
Best heuristics for handling decision requests from arrays
Re-enable predicate subtyping, reversing commit 8f9f549 (needed for Kind integration)
fix for lambdas in relation to subtypes
lambda-related fix
subrange-related fix
new --tear-down-incremental mode
more statistics, for narrowing down incrementality slowdown