checkpoint: really basic translation of ASCII rules to Haskell