[ fix ] Do not rely on (show A.Name == C.Name).
[ cosmetics ] in ConcreteToAbstract.
[ tiny refactor ] To improve readability in Scope.Base.
[ refactor ] To increase code comprehension in Scope.Base.
[ refactor ] Lenses for amodName and anameName.
[ refactor ] copyScope: separate deletion from renaming.
[ fix ] Do not rely on (show A.Name == C.Name).
[ rename ] Standard import abbrevs for List, Map, Set.
[ clean ] Removed old commented-out code.
[ test ] Updated error (removed debug printout).
[ comments ] Capitalization, punctuation only.
[ comment ] For case trees.
[ fix ] Do not rely on (show A.Name == C.Name).
[ clarify ] Deobfuscated name copying in copyScope.
[ debug ] Trace in Scope.Base (already commented out).
[ small refactor ] and comments for copyScope.
[ Issue 836 ] Fixed for module applications.

Qualification of constructors (and projections) by data (record) type
name is now also possible if data (record) type comes from a
parametrized module.
[ clean ] Removed unused error PatternSynonymArityMismatch.
[ refactor ] TypeErrors for Bad/TooFewArgumentsToPatternSynonym.
[ test ] Updated error messages for pattern synonyms.