Bad type error when missing () after operator application

[bugarela]

It complains about a record. We should figure out that there is an operator with that name and complain about missing parenthesis instead.

quint typecheck test.qnt
test.qnt:2:28 - error: [QNT000] Couldn't unify list and rec
Trying to unify List[a] and { length: _t0 | tail__t0 }

2:   def f(l: List[a]): int = l.length
                              ^^^^^^^^

error: typechecking failed