1. Move the Pretty class into its own module.
2. Implement pretty printing of Domains to clean up the doctests.
3. Add exactly-63 test to labels.