Djinn.LJTFormula
data Symbol
data Formula
(<->)
(&)
(|:)
fnot
false
true
data ConsDesc
data Term
applys
freeVars