EqualitySolver.Solver
data EqFormula
data EqLiteral
data EqTerm
type Name
type Arity
eqF
eq
neq
var
fun
satisfiableInEq