Sketching the subtyping rules