fungi_lang::bitype
pub fn synth_exp( last_label: Option<&str>, ctxt: &TCtxt, exp: &Exp) -> TypeInfo<ExpTD>