Library hosts theater workshop, ages 9-14