Added a Functor superclass to Bifunctor.

Following the discussion in https://github.com/haskell/core-libraries-committee/issues/91 this is a variant of !9060 (closed) that leaves the minimal set and the definition of second unaltered.