Fixed input of dictionaries, now is efficient even in C, because is using prolog
indexing via auto generated predicate __aux_keyid_index_<TYPE>/2 that maps each
key to an integer index.
Fixed unification with dictionaries, now it is possible to return dictionaries for static structures in the C side.