RE: Progressive Concreteness of Choreography binding

>>>What about the possibility of having an abstract message type, 
independent of particular protocol or encoding, and then a message 
family as a set of message types that are specific to given 
protocol/encoding and are all expressions of the abstract message type?<<<

I agree.

</Snip>