Added signatures and record type generation for Haskell CG.