FunDeps
type Equation