ExplicitLevelImports: improve documentation of the code

• more explicit names for variable names like flg or topLevel
• don't pass the same value twice to functions
• some explanations of interesting but undocumented code paths
• adjust comment to not mention non-existent error message