New subtyping rules