improved error formatting in forall-next, and made fixing much more efficient.