analyzer updated to cater for trait mismatch

as addressed in issue #12
report abstraction
report index abstraction
type hinting and abstraction usage