A GUI for theme mapping with Diazo