Use `literal` for literals in Mini_c
Using value
instead of literal
for Mini_c syntax E_literal
was unnecessarily complicated. Many of the trickier cases (e.g. map, set, list) were never really used; some E_constant
is used for them instead.
After this MR, value
is still used for "decompilation" of Michelson interpreter output. But it does not appear in the syntax.