Simpler names for type arithmetic that combines variants.