Lin-Manuel Miranda, Daveed Diggs, Brittany Howard and the "Frozen" songwriters lay out a musical lesson about checks and balances in our government.