Add a type signature for scan, add an instance from emwap and remove a few constraints on zipWith