add temporary instance Recursive ((~) Term) while Term only contains Terms
add temporary instance Recursive ((~) Term) while Term only contains Terms

(to make transition to hypertypes changes easier in Lamdu for now)

lamdu/lamdu-calculus