I made the common utility type more readable.

[novice0840]

In "types" file in query-core package, there is a utility type named "WithRequired"

A type that allows you to put keys in the second argument that must be included in the type in the first argument. I believe that using arrays and empty arrays breaks readability, so I propose the new, more readable types below.