SI-6816 Deprecate -Yeta-expand-keeps-star

This commit deprecates the -Yeta-expand-keeps-star flag. It was created
in 2.10 to help in the transition from 2.9 but by the time 2.11 comes
out it should no longer be necessary.
SI-7132 - don't discard Unit type in interpreter
Always at least log devWarnings.
Added methods debuglogResult and devWarningResult.

Lowering the barriers to sensible logging - these methods are
key in avoiding the "too much trouble" syndrome.
Add some logging to sinful typevar methods.

These super-mutation-oriented methods should enthusiastically
communicate what they are doing, especially when they encounter
anything unexpected. None of this work should be taken as an
endorsement of any of the worked-upon code.
Cleanup in isHKSubType0.

Making the mechanisms more apparent. Renamed to isHKSubType,
because there is no other.
Since the problem in SI-6758 is fixed, it's ok to move checking for unused imports to Analyzer. This allows the check to be used in the IDE.
Remove unused symbols and imports from the library.
Merge pull request #2196 from paulp/pr/logging-and-typevars

Logging little understood maneuverings during type inference
Merge pull request #2187 from JamesIry/master_SI-6816

SI-6816 Deprecate -Yeta-expand-keeps-star
Merge pull request #2191 from mergeconflict/SI-7132

SI-7132 - don't discard Unit type in interpreter
Merge pull request #2195 from vigdorchik/lint_library

Changes around lint