Update introduction
Merge remote-tracking branch 'master/master' into paper-updates

Conflicts:
	paper/main.tex
New introduction to effects, and try to tie up EDSLs/Effects
Merge pull request #2 from edwinb/paper-updates

Paper updates