What do you get when you combine Stephen Sondheim and dinosaurs? No, not "Jurassic Park: The Musical."