Created a few more Haskell modules according to C language and model definitions.