SC0201 type mismatch: expected uint256, found uint256

Compiling the following function:
```solidity
public function getBalance() -> uint256 {
return selfbalance();
}
```
results in the following compile error:
```txt
SC0201 type mismatch: expected uint256, found uint256
```
The reason seems to be: The call checker reverses expected and actual return types, then overwrites only the expected label,
producing “expected uint256, found uint256” instead of “expected uint256, found word.”

Location: most likely `infer_direct_call()` and `infer_indirect_call()` in [expr.rs](https://github.com/argotorg/solcore-rs/blob/8d5576699a8ca139e43b72c39f4545d3d2312de1/crates/hir-ty/src/infer/expr.rs).

Start in crates/hir-ty/src/infer/expr.rs, reading infer_direct_call() and infer_indirect_call() alongside the reported getBalance() reproducer. Check how expected and actual return types are reversed and how the expected label is overwritten. Done means the compiler reports “expected uint256, found word” rather than “expected uint256, found uint256”.

Written by the indexing model from the issue text.