mangle_decl()
Mangle a declaration to a tptp name. SMTLib supports type based overloading, TPTP does not.