Separate macro unfolding from Micheline -> Michelson parsing
Currently macro unfolding is done during the translation from Micheline to untyped Michelson; it makes the micheline2michelson file complicated and it forbids to prove properties about macro expension independently.