data F

data Role

data Formula

data Term

data V

data BinOp

data InfixPred

data Quant

data AtomicWord

data Source

data Rule

data Parent

isBottom

bottom

freeVarsF

freeVarsT

getFreeVars

data IntroType

data Theory

data Info

data Status

data GData

data GTerm