Refine the terminology of the `encoding_decoding` framework

Currently, the modules obtained with the encoding_decoding functor are called Merklizer. Schema is maybe a better name, and would have the benefit to not be confusing with Data_encoding.