1) To become as mainstream in a general-purpose way as OOP and functional programming paradigms are. One of the problems I know is lack of composability.
Historically, (1) has not particularly depended on merit, and (2) would require a lot (because "nice atoms" were more interesting back in the 60s than today).