Cleanups

* pflua-quickcheck (choose): New helper.  Use whenever we want to choose
  between elements of an array.  Refactor grammar to just be functions.