Func func(String name, Iterable<Sort> domain, Sort range) => Func(Sym(name), domain.toList(), range).declare();