Aiken LSP Hover on generic functions

[MicroProofs]

What Git revision are you using?

Latest main

What operating system are you using, and which version?

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

Describe what the problem is?

LSP gets confused when hovering on generic functions that were previously used with a different type.

What should be the expected behavior?

It infers the type as 'a' instead of the actual type.

left is List<Bytearray> and level_one is List<(Int, Bytearray)>