concept

Semantic operation changing an expression’s type to resolve category mismatch. Not compositionality-principle as combine-from-parts rule alone, and not coercion-type-shift as implicit repair label alone.