proof(ordinal): Fidelity scaffold — typed shape of BH order-type fidelity, hard half as named postulates

proof(ordinal): Fidelity scaffold — typed shape of BH order-type fidelity, hard half as named postulates #388