change scheme of warning/error message from "null contract violation" to "type mismatch"
also improve some positions to refer to the type incl. its annotation.
2 files changed