Nominative type system