Type-safe, immutable object updates with advanced array merging strategies and proxy-based path tracking
