Practical arithmetic encoding (aka Gödel numbering) library for Haskell.