MIR: Support michelson serialization

We need to add support for Michelson serialization, so we can later add support for the PACK instruction.

In general, michelson supports serialization of types, instructions and values. For this iteration, serialization of values should be enough, seeing as the values we support for now do not contain instructions (e.g. lambdas).