let clot b s t =    (* : bool -> t_subst -> term -> term =  *)
  if !light_unif then 
    clot_light s t
  else 
    match b with 
      | true -> clot_norm s t
      | false -> clot_light s t