YieldTypeExtension
Writes types into each yield call's typeName argument.
A call this misses keeps the argument absent, and yield's default answers at runtime — correct, just in the runtime namespace. That is why the shortfall is logged: a join that stops matching costs nothing visible.