(* interface for the low-level constraints *********************************)
-val locate : string -> MathQL.query
+val locate : string -> MathQL.query
-val compose : MQGTypes.spec list -> MathQL.query
+val unreferred : string -> string -> MathQL.query
+
+val compose : MQGTypes.spec list -> MathQL.query
(* interface for the high-level constraints ********************************)