Jimmy Butler got what he wanted. He’s being traded out of Miami and got a new contract in the process. PAGE b2