SI-8806 Add lower bound check to Any lint

We already exclude the lint check for infer-any if
Any is somewhere explicit.

This commit adds lower bounds of type params to
the somewheres.

Apologies for the "royal we" in the commit message.

Review by @retronym 
Thanks, it sure is nice knowing a guy on the inside.