(tests) Add tests for binary expressions computed types