Case reduce with/without lets, wild -> binder, mkInScopeSet cleanup