Dashes in folder names or file names breaks the lsp

[MicroProofs]

What Git revision are you using?

What operating system are you using, and which version?

• [x] Linux / Ubuntu
• [x] Linux / Other
• [x] macOS
• [x] Windows

Describe what the problem is?

Dashes in folder names or file names breaks the lsp jump to definition and hover to see types.

What should be the expected behavior?

Aiken should be agnostic to whether or not a dash or underscore is used.