Announcing Proxy 4: The Next Leap in C++ Polymorphism