Add rule for zipWith/replicate