The issue is that removing a public type is an ABI breakage. Type forwarders can be used to tell the runtime where the type was moved to, to keep it ABI compatible. In this case it looks like StarkSoftProxy was never included in an official release (last one was 0.4.5.1) so we can ignore it in this particular case.