”“You’re Welcome” and the David Bowie-esque “Shiny.” Those earworms came from the mind of Lin-Manuel Miranda, the creator of “Hamilton,” who also wrote the catchy songs for “Encanto”—the No. 2 streaming movie in recent years behind “Moana.” (Miranda was not...