Define Eq1, Ord1, Show1 and Read1 instances for basic Generic types

Tentative implementation for https://github.com/haskell/core-libraries-committee/issues/273.