Target to change back to proto-proposal
once !317 (merged) is merged (gitlab is so bad at handling dependencies!)
Contains:
The goal of lazy storage is to generalize what is done for big maps in Michelson so that we can add more types with a similar behaviour without worrying too much.