Back out last change and pursue a different fix, based on explicitly aborting script execution at times when we don't expect scripts to run

datatype foo = Bar of int

table bad : { A : foo, B : { X : float } }