The ‘In the Heights’ Movie Has Cast Its Main Characters & Lin-Manuel Miranda is “Really Excited”