Your proposal is still a "Prohibition-type constraint" that the paper you linked earlier say "isn't good". Some of these constraints we want simply aren't poss

Your proposal is still a "Prohibition-type constraint" that the paper you linked earlier say "isn't good". Some of these constraints we want simply aren't possible without adding "do not" somewhere in the line, even if you prefix/suffix it with other stuff, as you noticed yourself :)