Filter out the contract annotations on hover/completion when they don't add anything

[thufschmitt]

Is your feature request related to a problem? Please describe.

The LSP very helpfully displays all the types/contracts attached to values or fields on hover. However, it's easy for this value to get a Dyn type, and unless there's no other information, that Dyn is just noise:

Likewise, a value might get a contract applied to it several times (or have both a type, and the same type applied as a contract):

Describe the solution you'd like

Filter out these annotations as they don't bring anything to the table