more elaborate insertion in FHashtbl (increase size of deeper hashtables);
fixed a stupid bug in the insertion;
FHashtbl.mem function
more tests for FHashtbl