Aiken lsp hover back passing inside a block inside a when block

[MicroProofs]

What Git revision are you using?

What operating system are you using, and which version?

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

Describe what the problem is?

Hovering over the backpassing syntax or anything below it should not highlight everything inside the when block and return bool type.

What should be the expected behavior?

The individual types should be accessible.