Adding HyLoMoC, the literate Haskell version