added mutual induction def to term/value