(** A tagged concrete value *)
type value
  = String of string
  | Integer of int