Runnable specs for *your* next implementation of the Paws programming language