Specifying fixity of thenFail and otheriwseFail

Both are set to "infix 0" so it's possible to drop parentheses around
predicate and failure message construction.