experiment: type argument inference errors, displaying type parameters and bounds

[crusso]

incorporates #5579, but adds display of bounds so suggested instantiations and reported inconsistencies always make sense. Also removes display of expected return type since usually also reported as failed subtyping constraint (when it matters).

Might not look like much, but a huge simplification over what was in master before the whole caffeine effort kicked in.

[github-actions[bot]]

Comparing from 892c36e390fb8a00bfc8e730fcb9e731ebea47c1 to 5be6a39c54d9b1f89dcab2f6c8da9ce81940bed0: The produced WebAssembly code seems to be completely unchanged. In terms of gas, no changes are observed in 5 tests. In terms of size, no changes are observed in 5 tests.

[crusso]

@Kamirus @alexandru-uta I think this could go in. Of course once can always improve further but lets not let the best be the enemy of the good.