from StdString import class toString
:: SokobanPuzzle = Sokoban [[SokobanTile]]
-:: SokobanTile = Wall | Free | Box | Target | Agent
+:: SokobanTile = Free | Wall | Box | Target | Agent | TargetAgent | TargetBox
instance toString SokobanTile
instance toString SokobanPuzzle