More consistent handling of invert-scores, and abdexp reuses expl hyps in composites if they exist.