Par exemple, on pourra alors associer un jeton « Einstein» à un type comme « être humain ». La formulation « Einstein est un être humain » est alors sans ambiguïté sur la formulation « est un ». « Est-un » est parfois utilisé dans le langage pour relier directement un type à un t...