Enforce freemap consistency in nameTerm
Fix checking free constraints with two bindingvars
Update badfacts to use new freemaps syntax