type operator = Add 

type expr =
    Binop of expr * operator * expr
  | Lit of string


