Lin-Manuel Miranda, an earnest musical man who started writing this thing 20 years ago, had what feels like enough time to make whatever adjustments were required, from the story to the casting, to be more inclusive? Like... if you are already doing the work to bring this unwieldy fantasia to life, then you might as…