FWIW, the League treats revues as a subset of musicals. And its designations for the shows you mention are in accord with yours (meaning Runaways is not a revue).
I have always been surprised that there is no designation for jukebox musicals which, to me, is at least as organic a distinction as the revue, if not more so.
