Added more debugging to the debug option
Edits to refinement
Changes made to the process by which faces are refined,
 in particular to the handling of pairs of faces that
form from an old face.
Some minor formatting changes to aid readability, and
a collection of extra comments with the same aim in mind