let of_string = function
  | "u" -> u
  | "la" -> la
  | "p" -> p
  | "bv" -> bv
  | "cop" -> cop
  | "nl" -> nl
  | "cl" -> app
  | "arr" -> arr
  | "pset" -> set
  | str -> raise (Invalid_argument (str ^ ": no such theory"))