A few updates for scalaz-seven

I'm stuck on the Kleisli and variance problems, but this is other work needed.