This also removes the member overload in TypeSwitch. All other users have been removed in fac349a1 and bd9fdce6.