Finish overload resolution.

- Implement evluation of binary expressions.