Re-implemented Mercury-maze in Haskell.
Maze: added progressive BAT.