Email Record: Computational Aspects of an Order-Sorted Logic with Term Declarations /