Fixing generic Hashtbl.hash in Constr.