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.
Fixes for latest Scala 2.11.0-SNAPSHOT.
More reworking of WitnessAux and corresponding minor Nat tweaks.
- WitnessAux fully replaced by a type alias for Witness.
- Witness.Eq renamed to Witness.Aux
- nat object in shapeless package object is now a val alias for Nat.
- Singleton Nat implicits moved to Nat.
- Some result type annotations added to a few examples necessary as as
  result of the WitnessAux => Witness.Aux transition.
Moved Nat type classes to shapeless.ops.nat.
Reworking of Poly infrastructure and namespacing.

- Free standing CaseNAux is now CaseN
- Free standing PullbackNAux is now CaseN.Aux
- Poly#CaseN is now PolyN#Case
- Most auxilliary definitions have been moved into object PolyDefns
  which has a val alias in the shapeless package object allowing
  access via 'import poly._'
- The miscellaneous Poly examples have been moved to either examples or
  tests. The identity Poly has been moved to poly._.
- ~>> is now a type alias for ~> with a constant type constructor on the
  RHS
- ~?> is used almost exclusively with HMap, so it has been moved to
  HMap's source file.
- LiftO is now an example. Use liftA from shapeless-contrib instead.
Removed all uses of deprecated API.
Removed deprecated API. Definitions are retained on the deprecated branch.
Record fields are now properly widened to their value type when viewed as values.
Merge branch 'master' of github.com:milessabin/shapeless

Conflicts:
	core/src/main/scala/shapeless/singletons.scala
Trying to substitute from NoSymbol fails as well.
Trying to spawn the symbol from the symbol of the enclosing class fails as well.
In scala 2.10.3-RC1, things work after all, even with plain NoSymbol! Cleanup time.
Cleaned up and changed scalaVersion to 2.10.3-RC1. WIP function literal witnessing now actually runs, but does indeed need more WIP.