Keywords: rational schemes; algebraic theory of programming; regular equations with parameters; rational operations; recursion on higher functional domains; algebras without rank; typed combinators; regular and equational normal forms of rational schemes; infinite trees