Add negation and boolean or to idris AsyncAnd