extract_single_dist function

Extract a single element of a composite <dist_spec>