Re: [NTG-context] Define a new type section with metafun