Add Verified.Algebra.List