data Symbol

data Formula

(<->)

(&)

(|:)

fnot

false

true

data ConsDesc

data Term

applys

freeVars