Added the Haskell implementation for the first math dm.
Added a README for the DM1.