Could a better type mismatch tell you which params are right and which are wrong? Also, a proc type should have its arguments shown.
This could be pretty printed in two columns:
[var string] [var foo: string]
[var int] [var bar: float] mismatch