Eliminate use of maybe-result graph operations.
Dispense with ExAr; use Data.Map directly.
Work in progress to shorten RunProgram.