Lobsters: Lessons from Pyre that Shaped Pyrefly