$lookup can operate on different types of collections. The foreign and local collections can be sharded or not. They also can be time-series or regular collections.

We should write a property-based test that generates booleans to indicate the characteristics of each collection (isTimeseries, isSharded etc), then runs $lookup queries in these scenarios.

We can support toField/fromField syntax and subpipeline syntax. The subpipeline syntax can reuse our existing agg query models.