fact: Definition test2 : check "1+(2*31-4)" expr := MkSingleton (EAdd (EEmb (TEmb (FLit 1))) (TEmb (FEmb (ESub (EEmb (TMul (TEmb (FLit 2)) (FLit 31))) (TEmb (FLit 4)))))).
imports: parseque(Running Parseque) Coq(Ascii String)