size_type --> diff_type to simplify types and get rid of signed comparison warnings
edit_distance_diff_example.cpp