*   Newtype instances actually didn't work before!  They do now :)
*   Added generic implementations and newtypes for `Bounded`, `Ord`, and `Eq`.
*   Some aggressive inlining in all modules.
*   Added clarification and comparisons to other libraries to README