feat: Adopt filter types from mongodb and enhance strictness

[avaly]

Closes #410 #407

This PR brings the strict filter types from mongodb into our repository, which allows us to remove the Document type and enhance the strictness of these types.

Known divergence from the mongodb types:

• added $expr support to the root filter operators
• $elemMatch is applied only for array fields
• removed support for recursive types in the dot-notation path algorithm
• reduced maximum depth level to 6 in the dot-notation path algorithm
• added support for non-indexed array elements in the dot-notation path algorithm, e.g. foo.bar (where foo is an array of objects)
• added support for indexed array elements in the dot-notation path algorithm, e.g. foo.0 (where foo is an array of objects)

[ejmartin504]

I can't really say that I fully understand all the TS, but a quick look doesn't raise any red flags for me.

You mentioned a few things in the PR description that I didn't quite follow, would you mind expanding on these, or pointing where they are in the code, for those following along at home?

• added $expr support to the root filter operators -- What is this? Why was this not supported by mongo?
• added support for non-indexed array elements in the dot-notation path algorithm, e.g. -foo.bar (where foo is an array of objects) -- What is the use case for this? Is this query pattern supported by the mongo server?
• added support for indexed array elements in the dot-notation path algorithm, e.g. foo.0 (where foo is an array of objects) -- surprised this wasn't supported by mongo if this is a valid query pattern, is this query pattern supported by the mongo server?

Also, I'm curious how we plan to keep these types in sync with mongodb types themselves.

[avaly]

added $expr support to the root filter operators -- What is this? Why was this not supported by mongo?

https://www.mongodb.com/docs/v5.3/reference/operator/query/expr/

$expr is a root filter operator. It was never defined in the mongodb types.

This was possible to use because of the Document being used everywhere in those types, which accepted any unknown property.

added support for non-indexed array elements in the dot-notation path algorithm, e.g. -foo.bar (where foo is an array of objects) -- What is the use case for this? Is this query pattern supported by the mongo server?

https://www.mongodb.com/docs/v5.3/tutorial/query-array-of-documents/#specify-a-query-condition-on-a-field-embedded-in-an-array-of-documents

added support for indexed array elements in the dot-notation path algorithm, e.g. foo.0 (where foo is an array of objects) -- surprised this wasn't supported by mongo if this is a valid query pattern, is this query pattern supported by the mongo server?

https://www.mongodb.com/docs/v5.3/tutorial/query-arrays/#query-for-an-element-by-the-array-index-position