added convenience overload to `detail::demangle`