Title: Iterative algebraic theories, infinite trees and program schemata