Improve output of def-in-def linter

Line number was wrong in some cases, and changed TBD to an actual
symbol name in the source code.