(* Operations on structure trees. *)