oldExp f g h i j (Cte c) = f c
foldExp f g h i j (Suma e1 e2) = g (foldExp f g h i j e1) (foldExp f g h i j e2)
foldExp f g h i j (Mult e1 e2) = h (foldExp f g h i j e1) (foldExp f g h i j e2)
foldExp f g h i j (Var s) = i s
foldExp f g h i j (Let s e1 e2) = j s (foldExp f g h i j e1) (foldExp f g h i j e2))) e