Function pack_predicate 

pub const fn pack_predicate(opcode: u8, path_hash: u64, defeater: bool) -> u64

Canonical norm-predicate packing — MUST equal deontic::compile_norm_quin.