bug fixes; add types_hash_bucket_size