[nem-en] Typing a expression in context of method

[Kamil Skalski]

> Add will be very nice if Typer will get reference to Messenger parameter
> instead of get it from solver (in Integration we type methods in lazy manner
> and we need intercept messages from typer).
>

AFAIK Messenger is used for "potential errors", so there might appear
some error messages for correct code, because Typer uses
"backtracking" to resolve for example choosing overloaded functions.

-- 
Kamil Skalski
http://nazgul.omega.pl