Text this: Trace Refinement in Labelled Markov Decision Processes