more accurate type for CCHashtbl.Make
update CCPervasives (wip: hashtbl)