* graph_code/graph_code_prolog.ml: adding type/2