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

fun f (x : int * float) : string = x
fun g (x : int * float * bool) : string = x
fun h (x : {A : int, B : float, C : bool}) : string = x