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