Suggest correct casing if the entered unit doesn't exist about numbat HOT 3 CLOSED

Normally there are suggestions for these type of error. For example:

>>> 1 niles
error: while type checking
  ┌─ <input:219>:1:3
  │
1 │ 1 niles
  │   ^^^^^ unknown identifier
  │
  = Did you mean 'miles'?

But the suggestion code is skipped for short identifiers (I think because there are so many 1 and 2 letter identifiers that standard edit-distance metrics don't work well here).

However in this case, I think we can do something like check to see if there's an identifier that only differs in case and make suggestions based on that

from numbat.

Thank you for the feedback. Duplicate of #103?

from numbat.

But the suggestion code is skipped for short identifiers (I think because there are so many 1 and 2 letter identifiers that standard edit-distance metrics don't work well here).

However in this case, I think we can do something like check to see if there's an identifier that only differs in case and make suggestions based on that

👍

from numbat.