Inductive exprMatchObject : Type :=
  | EMO_False    : exprMatchObject
  | EMO_True     : exprMatchObject
  | EMO_WithType : typeName -> exprMatchObject
  | EMO_And      : list exprMatchObject -> exprMatchObject
  | EMO_Or       : list exprMatchObject -> exprMatchObject
  .
