Nonconservative exact small-sample inferencefor discrete data