Improved area highlighting.

* Now highlighted cells will be alpha-blended with the background.
* Added methods to Coordinates to prevent duplicates in sets, which
caused a single cell to be highlighted more than once.