“Two distinct but interrelated types of musical theater have won a following here over the decades: traditional imported Broadway musicals and home-grown, often quirky Brazilian musical shows that draw on a variety of sources but add distinctly local twists.”