Seal subtyping relation for session types, to avoid breaking abstraction when applying subtyping rules and tactics