Checksums

I'd just expose the `t` type to be `Cs.t option`, so any existing `option`-related utility function can work on it, no need for these special cases.