adds commented-out versions of better messages
adds CompoundDiagnostic
Aaaaand raises runtime errors. But, it's a start