Some more work on arenas. Also, a dummy arena type and arena type listener for an example