Function encode_term_with_codec 

pub fn encode_term_with_codec(
    cx: &mut Cx,
    symbol: &Symbol,
    term: &Term,
    options: EncodeOptions,
) -> Result<Output>

Encode a Term with the codec named symbol, lifting it to an Expr first.