Add functions for comparing type-level Nats and Symbols.