nominal typing