* matcher/fuzzy_vs_fuzzy.ml: progress