Function candidate 

pub fn candidate(
    class: ClassId,
    parts: Vec<Op>,
    ins: Vec<String>,
    out: &str,
    dst: Dst,
) -> Op

A candidate op for the shim to judge: class over parts as they stand — each a lifted op or one a rule built — so the shim reads every member as it is.