Module hash 

Structs

Hash

Valid [Hash]. Has restrictions on its byte layout (e.g. cannot be all zeroes);

HashNiche

OptionalHash

Option<Hash> but more explicitly represented as [u8; HASH_SIZE].