The ping-pong example is working with one caveat. Matches against patterns with just one atom must still be wrapped in a list. This is annoying, but we can fix it.
This first step happened a bit more slowly than I’d like, but I can see where we’re going now. We’re on our way.