Conversion policies for binary-interchange models

Binary-interchange conversion uses a representation-independent runtime policy with a proof contract. Carrier adapters are split into the Runtime, Proof, and Instances modules below Configured.Conversion and StaticByte.Conversion.