Correction to pretty printing
Correction to ordered covering.
Neaten coverage tests.
Add match uncovering.
Add string constructors.
Add printing utils.