Distance and proximity – simple edit distance