Divide example module.
Remove my pretty type.
Rename internal name.
Rename internal names.
Add division result types.
Colorize pretties.
Add convenient import to execute examples interactively.
Update pretty around coefficient.
Add radio ppr example.
Simplify pretty of degrees.
Move examples of degrees.
Add pretty instances around polynomial.