I've heard Modula-3 (from DEC SRC and Olivetti Research Center) called "the Ada regular programmers would adopt". They never did, of course, because Olivetti decided research wasn't that important and DEC got bought and a lot of other reasons that are documented elsewhere. Not to get into a language pissing contest, but IMO it's an awfully nice way to program, with threading built in, type safety, generics, a reasonable GC, exceptions, etc. I really enjoyed it, but then I think Ada brings a lot to the table.
What might have been, indeed.