Tweak the definition of generalized-Rabin.  Closes #31.
Merge pull request #31 from adl/issue/31

generalized-Rabin syntax