Re: [NTG-context] defining a frame with embedded typing