²For technical reasons, the Nuprl model represents a message as a triple: a list of tokens acting as a message header, the message body, and the type.