times (Lit (LitInt n)) (Binop (Lit (LitInt m)) OpTimes e3)
  = Binop (litIntE (n * m)) OpTimes e3
times (Lit (LitInt n)) (Binop (Lit (LitInt m)) OpTimes e3)
  = Binop (litIntE (n * m)) OpTimes e3
times (Lit (LitInt n)) (Binop (Lit (LitInt m)) OpTimes e3)
  = Binop (litIntE (n * m)) OpTimes e3