Linear and exception effect modes

[forell]

The effect system and inference algorithm should be extended with linear and exception-like effects, and the additional variants of the effect (shift₀) construct should be added.