Rename subtype to type compatibility.