let make_binding var term = {
  sb_var = var;
  sb_term = term;
}