`&&', the bitwise operators, the shifts and `++' each stopped with `cannot infer'; an array operand came back as the array; a rank tie went to whichever operand came first; and a toplevel `_' reached the writer unsolved.
The type IR, unification with the unknown type, constraints and schemes, built and tested on its own. Nothing calls it yet.
