Interpretation of types is now relativized to sorted domains Wi = {s | σ(s) = i} for i ≥ 0. Frames, accordingly, are sorted structures ({Wi}i∈N,Rbridge,Rwrap,·,{bridgek}k∈N*,{wrapk}k∈N*) with n + 1-ary relations for the n-ary type-forming operations with a non-deterministic interpretation and n-ary operations (functions) for the n-place deterministic vocabulary items.  The operation · : Wi × Wj → Wi+j here is the sorted version of the concatenation operation of L.