split off Basics/Decidable.v, with a few new lemmas in it
Merge branch 'decidable' into baut

Conflicts:
	theories/Basics/Decidable.v