Document effect system

[slightknack]

I've locked down the type and effect system, but I haven't documented it anywhere. Seeing that the internet is seriously in need of an approachable explanation as to what algebraic effects even are, I'd like to document Passerine's effect system either here in in a blog post of some form.