First complete (and suspected correct) draft of primitive subtyping.