Removed type classes for type classes

Instead of defining type class instances for type classes
like Read (Functor) or Named (Contravariant), functions
like map, contramap, or xmap were added the the type-classes
package object. Type inference works nicely so far.