Cleanup inspection logic.
Remove assumption that symbols resolve to classes for issue #61
Merge branch 'master' into issue-16
Add truth maintenance tracking for persistence in issue #16
Qualify type hints when parsing rules for issue #63