toy implementation of `equal` using folding and sequences

[cfcs]

leaving this here lest we forget about it. used fold and to_seq because their signature comments seem to guarantee the iteration order: https://caml.inria.fr/pub/docs/manual-ocaml/libref/Map.S.html