a type of theatre