Added back some overload methods taking a Nat as argument

Turns out that some of the overloads that were malfunctioning (https://github.com/milessabin/shapeless/pull/246, https://github.com/milessabin/shapeless/pull/209) can be kept, up to some adjustments.
I added tests so that both overloads are tested.