pub const PROOF_RULE_TYPE: WellKnownTypeId;