Levenshtein distance as a metric space in spire