times e1 (Binop (Lit (LitInt n)) OpTimes e2)
  = Binop (litIntE n) OpTimes (Binop e1 OpTimes e2)
times e1 (Binop (Lit (LitInt n)) OpTimes e2)
  = Binop (litIntE n) OpTimes (Binop e1 OpTimes e2)
times e1 (Binop (Lit (LitInt n)) OpTimes e2)
  = Binop (litIntE n) OpTimes (Binop e1 OpTimes e2)