Fix casesimpl and caseremove wrt scrutinee binders.