add bool_decide_negb

I had to move up all the Decision stuff since the new lemma needs the not_dec instance.

Proof by Yun-Sheng.