Question: With whom did this co-creator of "The Book of Mormon" and "Avenue Q" compose songs for a Disney film?

Context articles: Avenue Q
Infinity 2
Guiraudo lo Ros
The Book of Mormon (musical)
For the First Time in Forever
Stephen Oremus
Rick Lyon
John Tartaglia's ImaginOcean
Robert Lopez
Annamacharya

Avenue Q is an American musical in two acts, conceived by Robert Lopez and Jeff Marx, who wrote the music and lyrics.
 The book was written by Jeff Whitty and the show was directed by Jason Moore.
 "Avenue Q" is an "autobiographical and biographical" coming-of-age parable, addressing and satirizing the issues and anxieties associated with entering adulthood.
 Its characters lament that as children, they were assured by their parents, and by children's television programs such as PBS's "Sesame Street", that they were "special" and "could do anything"; but as adults, they have discovered to their surprise and dismay that in the real world their options are limited, and they are no more "special" than anyone else.
 The musical is notable for the use of puppets, animated by unconcealed puppeteers, alongside human actors.
"∞2" (read "Infinity Ni"; translated as "Infinity 2") is Do As Infinity's 23rd single, released on June 16, 2010.
 The single is the second in the "Infinity" series, after Do As Infinity's 21st single "∞1" (2009).
 Like "∞1", "∞2" contains four songs with none named after the single itself.
 Between September 1 and October 31, 2009, the second installment of a contest called Do!
 Creative!!
 was held to give Do As Infinity fans a chance to compose songs that the band would later perform.
 Of the songs received, two were selected to be placed on "∞2": "Everything Will Be All Right" composed by Shohei Ohi, and "Haruka" composed by Fumiyasu Sueoka.
 A music video was produced for "1/100" directed by A.T. "1/100" and "Everything Will Be All Right" were used as promotional theme songs for professional Kyōtei boat racing in 2010.
 "Pile Driver" was used as a promotional theme song for Hiroshima University of Economics in 2010.
Guiraudo lo Ros or Guiraudet le Roux (meaning "the redhead" or "the blonde") was a troubadour from Toulouse of a poor family of knightly rank.
 According to his "vida" he travelled to the court of his lord, called Count Alfonso, probably a reference to either Alfonso Jordan or his son, another Alfonso.
 At court he fell in love with Alfonso's daughter, which experience taught him how to compose songs.
 Only eight of his songs (seven "cansos" and one "partimen") survive, the most famous being "En greu pantais".
The Book of Mormon is a musical comedy about two young Mormon missionaries who travel to Africa to preach the Mormon religion.
 First staged in 2011, the play satirizes various Mormon beliefs and practices.
 The script, lyrics and music were written by Trey Parker, Robert Lopez and Matt Stone.
 Best known for creating the animated comedy "South Park", Parker and Stone co-created the music with Lopez, the co-composer/co-lyricist of "Avenue Q," and, subsequently, "Frozen".
"For the First Time in Forever" is a song from Disney's 2013 animated feature film "Frozen", with music and lyrics composed by Kristen Anderson-Lopez and Robert Lopez.
 It is reprised later in the musical.
 Both versions are sung by sisters Princess Anna (Kristen Bell) and Queen Elsa (Idina Menzel).
Stephen Oremus (born 1971) is an American musician who has worked on Broadway theatre productions as musical director and as orchestrator.
 His credits include arranger and orchestrator for the music for "Avenue Q", musical director and arranger for "Wicked", arranger and orchestrator for "All Shook Up", and musical director for "9 to 5".
 His orchestrations (with Larry Hochman) for "The Book of Mormon" won him a Tony Award in 2011, for Best Orchestrations.
 Oremus also won the Tony Award for Best Orchestrations for Kinky Boots.
Richard "Rick" Lyon is an American puppeteer, actor, puppet designer and builder.
 He has worked for the Jim Henson Company as one of the operators of Big Bird.
 He appeared on Broadway originating the roles of Trekkie Monster, Nicky, the blue Bad Idea Bear, and other characters in the Tony Award-winning musical "Avenue Q", a musical for which he designed and created all of the puppets.
 In the fall of 2005 he reprised his roles in the production of the show in Las Vegas for eight months before returning to the Broadway cast.
 Rick was a puppeteer on Sesame Street for 15 seasons, from 1987 to 2002.
 He also worked with Nickelodeon on the Stick Stickly project and on the "Me + My Friends" pilot.
 He was a lead puppeteer for the first season of Comedy Central's television program "Crank Yankers".
 Lyon's company The Lyon Puppets, maintains a large permanent workshop outside New York City in New Jersey.
 In addition to building all of the Broadway and Las Vegas "Avenue Q" puppets, the company has built puppets for the original West End production of "Avenue Q" in London, the US national tour, and international productions in Brazil, Mexico, Australia, Switzerland, Germany, France, and China.
 Rick frequently coaches actors in puppetry for productions of "Avenue Q" for which he provides puppets.
John Tartaglia's ImaginOcean is an Off Broadway musical about fish.
 It was written by and stars John Tartaglia, whose previous theatre acting credits include "Avenue Q" and "Beauty and the Beast".
 The show played at New World Stages, which is also where the show that launched his career, "Avenue Q", played.
 The book is by Tartaglia, and the musical score is by William Wade.
 Like "Avenue Q", "ImaginOcean" utilizes puppetry, but unlike that show, "ImaginOcean" is aimed at children and the actors performing the puppets are not seen onstage.
Robert Lopez (born February 23, 1975) is an American songwriter of musicals, best known for co-creating "The Book of Mormon" and "Avenue Q", and for composing the songs featured in the Disney animated film "Frozen".
 He is the youngest of only twelve people who have won an Emmy, a Grammy, an Oscar and a Tony Award, and the quickest (10 years) to win all four.
Taḷḷapāka Annamācārya (or Annamayya) (Telugu: తాళ్ళపాక అన్నమాచార్య; 22 May 1408 – 4 April 1503) was a 15th-century Hindu saint and is the earliest known Indian musician to compose songs called "sankirtanas" in praise of the god Venkateswara, a form of Vishnu.
 He is the first known composer in carnatic music.
 Other composers like Purandaradasa came after him.
 The musical form of the keertana songs that he composed, which are still popular among Carnatic music concert artists, have strongly influenced the structure of Carnatic music compositions.
 Annamacharya is remembered for his saintly life, and is honoured as a great devotee of Vishnu by devotees and saintly singers.