type theory_elem =
   Theorem of string                    (* uri *)
 | Definition of string                 (* uri *)
 | Axiom of string                      (* uri *)
 | Variable of string                   (* uri *)
 | Section of string * theory_elem list (* uri, subtheory *)
and theory =
 string * theory_elem list              (* uri, subtheory *)
;;