We talk about everything from Lin-Well Miranda musical theater to his favorite musicals