Removed redundant type parameter from DepFn0.
Added boolean induction example.
Added explicit result type for implicit; whitespace.
Unpacking now completely automatic; eliminated all previously unsafe implementation details.
Merge branch 'master' into scala-2.11.x
Fixes for latest Scala 2.11.0-SNAPSHOT.