Moved to package sjc.shared
Added ThreadLocalShared, closes #9
Refactored project, start measuring coverage
Increase test coverage of Lock
Removed unlawful Zip[Lock] type class
Removed unlawful Zip[Shared] type class
Added check of lawfulness of Reader type classes
Added check of lawfulness of Contravariant[Callback], + increased coverage
Removed unlawful type classes for Change & Changes

Change:  Monad, Comonad, Traverse
Changes: Monad, Traverse