Text this: Nominal commutative narrowing