Remove all but the basic operations on type-level literals.

The plan is to have the more sophisticated operations in a separate
library.