Added Update[A, B].lens[C](lens: Lens[C, A]): Update[C, B]