better support for explicit reified named types