fn gen_fold_element(buf: &mut CodegenBuf, binding: &str, ty: &Type)