Broadway, and far beyond Broadway, may be processing the news that creator and star Lin-Manuel Miranda will be leaving his blockbuster musical Hamilton on July 9.