fixed bugs in trait reporting in error and warning, and a bug in positive
Merge branch 'dev' of https://github.com/rgrannell1/require_a into dev