Transform immediately apparent traverse laws into traverse1 laws.
Test traverse1 laws on Nel, Tree theoretically in future.
Merge branch 'scalaz-seven' of git://github.com/scalaz/scalaz into topic/traverse1-laws
Test traverse while testing traverse1.
merge method for \/
add more instances for OnePlus
add OnePlusApply, OnePlusApplicative
type class Optional[F[_]]

- abstracts over containers/contexts which may provide a value or not

- instances:
  - scala.Option
  - scalaz.LazyOption

- provides syntax.OptionalOps

- tests for all the functionality
merge branch scalaz-seven
integrate Optional into GenTypeClass
provide concrete orElse in Optional
provides nonEmpty as an alias for isDefined for Optional
provides Optional instance for scalaz.\/
provides Optional instance for LazyEither
Rename OnePlus to OneAnd, with the intention of introduction OneOr which uses (F[A] \/ A) instead of (F[A] Tuple2 A). Introduce OneOr data type. OneOr[F[_], A] ≅ F[A] \/ A
provides Optional instance for Validation
sbt 0.12.4
update README.md s/7.0.0/7.0.1
fix typo
More trampolining in IO