We are using a type called DeepStrictObjectKeys to infer all the keys of a specific object or array. This is done by expressing all keys using dot notation and array notation. This type is now directly used in DeepStrictOmit and DeepStrictPick. It's quite a core type. I am considering adding more patterns to it.
I referenced someone else's open-source project, and it uses symbols like ~ and !. These appear to represent exclusion and inclusion, respectively. I haven’t looked into it in detail, but I’m wondering if there might be a need for something like this. I need ideas from others.