base: Relax instances for Functor combinators; put superclass on Class1 to make non-breaking

See the commit message; I have messed up trying to keep this in sync with that before, so now I want to stop trying to make sure I don't mislead anyone including myself.