Change func to exists in where clauses

[Verdagon]

For example, change where func drop(T)void to where exists drop(T)void.

The problem is that people will be searching for func myFuncName and these bounds will show up in those results.

On top of that, braces often come after these bounds, making it look like a function definition instead of a bound.