Added lots of digestable stuff

+ The default digest is now based on GHC generics
+ There is a Digestable1 class for higher order digesting
+ DigestableList was removed in favor of digestList in
  Digestable
+ Digestable for many types: Type, Kind, Hint, Scope, etc.