add support for ADTs in haskell module import

[agentm]

Currently, Project:M36 will effectively coalesce the atom function signature Integer -> Integer into [IntegerAtom val1, IntegerAtom val2] with a Haskell wrapper, but the wrapper does not support algebraic data types. The goal of this feature would be to support something like this:

import ProjectM36.Module

data Light = Red | Yellow | Green

carCanGo :: Light -> Bool
carCanGo Green = True
carCanGo _ = False

projectM36Functions = do
  declareAtomFunction "carCanGo"

To achieve this, Project:M36 needs to verify that the database's definition of Light matches the modules version, then complete the type wrapper.