“Within the Broadway spectrum, Lin-Manuel Miranda’s hip-hop historical musical has less in common with recent smashes than with shows that radically expanded audiences’ perceptions of the kind of stories musicals could tell, and the language and form they could use to tell them.”