Implement narrowType for InternalSchemaObjectMatchExpression, which holds a path and a single child expression applied at that path, and uses ElementPath with LeafArrayBehavior::kNoTraversal and NonLeafArrayBehavior::kTraverse. This is how $jsonSchema expresses nested properties, as a child tree rather than a dotted path.