In the current design of Msglang, the receive expression fails if the cardinality of the received message doesn’t match with the expected cardinality of the sent message. In practice, stronger guarantees might be necessary. Design and implement a typed variation of the receive expression in which the receive expression is extended to specify the expected type of the message. If the cardinality of the sent message matches with the expected cardinality, then the type of the sent message is matched with the type expected by the receive expression.