Add zipWith/unzip fusion rule (perhaps redundantly)