Add initial implementation of monoidal serialization
Add `Binary_buffer` for its `Writer` module