Add Nat types to dep type version of signature