Add Hashed32 type representation (#32)