ConstraintCompilers can now replace several variables with one (e.g.,
for merging variables), plus various API upgrades