[tsl:concurrency] Specify Isa/DynCast/Cast semantics for indirect async values
[tsl:concurrency] Specify Isa/DynCast/Cast semantics for indirect async values

Reverts e664ade8a0063f2800f27df3e4c96358e376c5cf
