Tiny tiny auto-formatting change.
Corrected 0 to (0) in examples in README.
Added very simple DVRSet#toString() for debugging.
Start of Abbreviation implementation.