Botan bindings devlog

How about:

-- equivalent to `NonEmpty.(:|)`
| SizeList Int [Int] -- ^ SizeList {head} {tail}

Also, thanks for still going at it and writing these lovely reports. It’s always a pleasure to read.

I would also love to see the memalloc library. Does it have an extensive test suite? It feels like such a fundamental library that it should really be as robust as can be.

And another question: do you think a higher level botan package would even be needed if botan-low will get higher level concept types and convenience functions?