Add negation and boolean or to idris AsyncAnd
Merge commit 'd6713f1'

Conflicts:
	lattice_verification/asyncAnd/playground/VerifyAsyncAnd.idr