introduce Default1 in a similar way like Eq1, Ord1, etc.

[KommuSoft]

Creating a class Default1 (a :: * -> *) in analogy with Eq1, Ord1, Show1, etc. that allows to pass an explicit default for a wrapped type.