Proper tuple types for messages in the queue.

Use the stripped message argument types in the message queue. Previsouly
the argument types were used as is in the dispatch graph descriptions,
along with optional<T> tags and so on.