Nathan and Alex's Wacky Adventure in External DSLs

It would be nice to see a test that also shows a program with multiple states that have multiple rules in them.