typed hash implementation

Typed hashes, like typed arrays.