ECMAScript spec proposal for Realms API