add `demangle_typename()` function.