Improvements to Garenda (a turn-based dungeon crawler)