Re: [NTG-context] A cases type environment using a right brace?