Function encode_datum_with_codec 

pub fn encode_datum_with_codec(
    cx: &mut Cx,
    symbol: &Symbol,
    datum: &Datum,
    options: EncodeOptions,
) -> Result<Output>

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