in progress #130
generic inference for extensions
better navigate
restore completion for extensions
some optimization
to prev
better resolving for lambdas
fixed problem when searching valid resolve result