and meta_subst = term option
and subst = string * term
-and case_pattern = string * href option * term capture_variable list
+and case_pattern =
+ Pattern of string * href option * term capture_variable list
+ | Wildcard
and box_kind = H | V | HV | HOV
and box_spec = box_kind * bool * bool (* kind, spacing, indent *)