Preprocess storage

[virgil-serbanuta]

We assume that #125 and #142 were finished

We need to identify all storage functions and add an implementation that precomputes the key from the storage name and the arguments and returns a new Storage object with the right value type and the precomputed int key.