I reviewed some of this code with @kbarber this morning.  I'm not sure this was the right thing. I was only interested in the validation stuff, but I could wrap the report-operators set in a fn, returning compile-report-term on true, when I think would be similar to how this is used elsewhere.