added "On many-sorted term algebras" paper