Improves the correction message
Moves src to lib; Minor refactors
Adds Levenshtein tests