Contextual

Very limited support at the moment: only when updating object fields with anonymous function expressions.

See https://github.com/UCSD-PL/RefScript/blob/contextual/tests/pos/simple/contextual.ts

The type inferred by tsc for function expressions is ignored.

One can still use explicit type annotation on the function expression as before (using: "<anonymous>").