types(OptionalRestArgs): truly only require `args` input when necessary

[NamesMT]

Currently args are still required even though all of it's properties are optional, this change adds IsOptionalKey and AreAllPropertiesOptional util types, and use it to achieve "truly necessary requirement only" of args.

---

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.