發送短信: Precise subtyping for asynchronous multiparty sessions