Lin manuel miranda leaving hamilton