nominal type system