Improve the -explain command-line flag.
Small tweaks for error reporting.

The explain feature for merge constructs now highlights exclusive resource
allocation conflicts.