Gotcha. In that case, make ModuleValidationException a top-level type and use it exclusively within the compiler?