pull

Pull scalar factors out of vector/matrix operations.

Bottom-up traversal: recurse into children first, then handle the current node. O(n) single pass — no has_nested_scalars predicate needed.