Some NomPa related material
Merge branch 'master' of https://github.com/jyp/TTNameBinders

Conflicts:
	paper/main.hs