Fixing #3623 (unbound evars in types in a call to "change with").