Define nominal types within a structural type system