substitutegen and other wibbles
move name-equality-related examples to sec. 3
Merge branch 'master' of https://github.com/jyp/TTNameBinders

Conflicts:
	paper/main.hs
Travis: texlive-full