߹ From Pairs r←߹y

r is the dictionary with entries taken from y, which is a nested vector containing either two-element vectors (as created by  Pair), or (singleton) dictionaries (as created by ߹ Key-Value Pair).