Added back overloads for coproduct methods taking a Nat as argument
Added back overloads for hlist methods taking a Nat as argument