frontend: Wrong diagnostics from syntax type mismatch

[flofriday]

The following program produces completly wrong diagnostics:

model example(arg: Bool) : Ex =  {
   1 + 2
}

constant n = 3 * $example(5)

• Why does it produce 3 errors?
• Why is the location missing?
• Why does it talk about ID when it was an INT?