Switched to Scalaz 7.1.0

Variance changed in scalaz 7.1.0, therefore all dire types
where changed to being invariant. Projects example and swing
have not yet been adjusted. Core compiles and all tests pass.
Finished moving to scalaz 7.1

swing and example caused hardly any problems, however a function
in core which returned a DataSink[Any] was changed to take
a type parameter as DataSinks are now invariant.

swing.Elem now has a HorizontalElem new type instead of a
tagged type to get the different Monoid behavior.