More work on multi-sorted term algebras