TypeChecker
data Base
data Type
data Context
catchErr
buildContext
isToken
extendContext
lookupCtx
checkDefinitions
checkContext
checkDefinition
data ListConstructors
dummyConstructors
checkDefinition'
checkExp