Added "if_valid" syntax rule for possibly failing Effects

Allows branching based on whether an effectful operation returning
Either l r succeeds (l failure, r success) and updating the resource
accordingly.