First draft of (partially incorrect) subtyping relation.