Binary-interchange inspection command

Resolve configured, descriptor, static-byte, and proof-model carriers for #float_info. Their reports share the descriptor profile in Info.Profile, with storage and operation availability taken from the elaborated type and its instances.