Fixing various type hint bugs

Mainly found by Scrutinizer:

* Ambiguous use statement in Application
* Changed IO's dependency from HelperSet to the specific Helper it uses (DialogHelper)
* Added a type check to ApplicationTester
Yes, good spot. This is bad autocorrection.