Fixing #3623 (unbound evars in types in a call to "change with").
Fixing ennoying warning about evars named ?23 and so on.
Test for bug #3652 fixed in 0fb36157b9ba