[Investigation] Add compile-time string demangling to validator

[cmannett85]

policy::validator's static_assert strings are a bit vague due to the lack of type names in the messages. Use the answer here to craft a compile time string.

What needs investigating is how to create a compile-time formatted string.