First draft of translation document - contravariance

[Howard Lovatt]

I am guessing that the following will fail with the suggested
MethodHandle translation (it is hard to say from the JSR292
literature):

#String(Object) so = #String(final Object o) (o.toString());
#Object(String) os = so;

Assuming it does fail, this failure may not be important since the use
case is rare. Therefore this is post is a request for clarification
rather than a criticism.

  -- Howard.