The process by which a subtype is made more specialized than its
  supertype.