Instead of StringData having a templated constructor:

template <size_t N> StringData( const char (&val)[N], LiteralTag )

instead, consider making a makeStringData() which eventually calls an appropriate constructor. This way, we can remove the LiteralTag "function signature flag".
This improvement will necessitate making StringData class copyable.