Rewrites phone parser to work more correctly.Adds Format typeclass for pretty printing.
Adds IsComplete typeclass to check a given domain object's invariants.