Small logic language for functor fixpoint terms.