Add Countable instance for `Byte.byte`
Once support for Coq v8.9 is dropped, resurrect !155 (merged) and add a Countable
instance for Coq.Init.Byte.byte
.
Once support for Coq v8.9 is dropped, resurrect !155 (merged) and add a Countable
instance for Coq.Init.Byte.byte
.