Draft IFL paper complete
Added examples used in the paper
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
Paper revisions
Tweak abstract, reorganise files, change title