Jeffrey Sarnoff Sun, 23 Aug 2015 19:14:51 -0700
Table driven implementation, so the logic is easily changed to suit. Introduces (afaik) two operators that push Maybe to True, False respectively.