I like the fact that the linter also shows the inferred types. For example if I write:
typeof="schema:NewsArticle
The linter will show schema:Thing schema:CreativeWork schema:Article along with schema:NewsArticle. But if you have a lot of markup / entities, it can get confusing for the user to know which one of those types were explicitly set in the HTML and which were inferred.
Suggested approach: style the inferred types to be different, either in italic or in grey color.
Do properties also get their super-properties displayed?