Checksums

The checksum is an (abstract) option type. But instead of saving it in the tlog as an option, values with checksum None are saved in the old format.