Pre-SIP: Exact type annotation

[soronpo]

@sjrd

The thing on which we disagree is that, for me, T cannot have -1 as its upper bound, since it prevents the application (the call) to typecheck.

Then what if instead of changing the semantics of the upper-bound, @precise disables the contravariance for the type argument it is applied on within the definition it is applied?