Add demangle function for prettier typeid printing