Made output more readable.
Renamed some of the important examples. Will be trying to incorporate
them into tests.
Fixed an important bug that was causing an unnecessary number of zones
to be created.
Now, we've got an implementation that takes care of issues with
zones with different locations being bisimilar (that is, prevents this
from occurring).