simplify :: Expr -> Expr
  -- constant collapse
  simplify (Mult  (Constant a) (Constant b)) = Constant (a * b)
simplify :: Expr -> Expr
simplify (Mult  (Constant a) (Constant b)) = Constant (a * b)
simplify (Mult  (Constant a) (Constant b)) = Constant (a * b)