Piecewise initial algebra semantics

We investigate a free functor construction on arbitrary many-sorted algebras, and the extent to which it solves the problem of finding an initial algebra interpretation for the module algebra of Bergstra, Heering and Klint.