Fix.SOLVER
type variable
type property
type valuation = variable -> property
type rhs = valuation -> property
type equations = variable -> rhs
val lfp : equations -> valuation