updated `Seq.Find` to prove existence of element that satisfies predicate.
updated `Seq.Find` to prove existence of element that satisfies predicate.

fmrl/monarch,fmrl/flutterbye,fmrl/flutterbye,fmrl/tesseract,fmrl/bdbdbdbd