Adds support for type-level literals.