First draft of primitive subtyping check.