Implement `Typeable` support for type-level literals (#8778).