ToySolver.CongruenceClosure

data Solver

type Var

data FlatTerm

newSolver

newVar

merge

areCongruent