Made witness implicits available without extra import.

Previously it was necessary to import `Nat._` in order for e.g. `hlist.length` to compile.