Hash values
public let length : Nat
public func bit(h : Hash, pos : Nat) : Bool
public func equal(ha : Hash, hb : Hash) : Bool
public func hash(n : Nat) : Hash
public func debugPrintBits(bits : Hash)
public func debugPrintBitsRev(bits : Hash)