MongoDB adapter: Progress towards pushing down project, filter, aggregate.