Added an output stream operator to hash_type