default reification of KnownNat and KnownSymbol to reduce need for $(n)
splices