Control structure effects

The condition field has been removed from effects. It has been replaced by a set of effects that implement the most typical control structures:

- If
- If-Then-ElseIf-Else
- While