Yes, this is a ground up rewrite: https://pyrefly.org/en/docs/pyrefly-faq/#what-is-the-relatio...

My thought exactly! Maybe for performance reasons? (Though I wouldn't expect OCaml to perform that badly, either…)