Text this: Refinements for multiparty message-passing protocols: specification-agnostic theory and implementation