While playing this, I had an idea. What if marking the mine reduced the number of any number tiles adjacent to the mine? So the number tile would show the number of adjacent mines, minus the number of adjacent flags. Then you could work through the puzzle by bringing all the number tiles to 0, which might make certain situations more readily soluble.