Adjust type inference and evaluation in case of assignment to underscore
Move evaluator inside of executor

As a preparation to implementation of do-expressions evaluation