Changelog for finitary-1.0.0.0

Revision history for finitary

Rewritten documentation to be more clear, and state more laws.
Added nextSkipping and previousSkipping methods to allow 'skipping over' some elements when enumerating in a more efficient manner.
Added Eq a as a constraint for Finitary a instances (as without it, the laws don't make much sense).
Fixed numerous typoes and unclear statements.
Stated that Finitary must be order-preserving relative any instances with Ord instances; existing instances modified to follow this law.
Added more tests.
Fixed odd issue with some element cardinalities and lengths for sized Vector instances.
Tightened bounds to be more conservative.
Support GHC 8.8.