basic support for nominal types