Closes #15410.

This partially reverts aad6317 as it caused
massive AST to generate when expanding guards
with `expr in [...]` checks in them, as each
`or` became a full-blown case expression.

Alternative approaches will be explored in
future releases.

Only emit warnings for missing exports in defined
modules to avoid false positives with modules from
the current project which may not have been defined
yet.