Updated cabal to meet PVP. Updated documentation.
Changed choice operator to <\>.