These types are forked from the current (as of Jan 2020) mongoose types on definitelytyped; they add things like automatic handling of "lean" documents (including toObject) and advanced types for filter and update queries
Well, I want to and I think we should, but I'm hesitant to try to push it through because there are some breaking