As a developer, I want to have more files that are repeatably and correctly annotated. In particular, I want to make sure that the types that monkeytype adds are public types, not hidden types. monkeytype does type inference dynamically and it may use the fully qualified name of a type, even if that type is in a hidden module but re-exported from a public module.
Acceptance criteria
Where there is a non-hidden type name for a fully qualified type name in an external library that uses a hidden module, the annotation step should always use the non-hidden name.
All files that are not currently annotated in stratis-cli solely because they would be annotated with type names in hidden modules are now automatically annotated (which in practice means being added to a variable in the Makefile).
Story
Normal
