TypeChecker

data Base

data Type

data Context

catchErr

buildContext

isToken

extendContext

lookupCtx

checkDefinitions

checkContext

checkDefinition

data ListConstructors

dummyConstructors

checkDefinition'

checkExp