Improve error messages in type checker.
Improve error messages in type checker.

darcs-hash:20081212224334-fbb9b-613a73e5f1e298320435f014ba26ed075a067497

llelf/language-c,llelf/language-c,llelf/language-c