Fixed the printing of Nat discrepency reported in Issue #28.
Merge branch 'nat-printing' of https://github.com/jfdm/idris-tutorial into jfdm-nat-printing

Conflicts:
	content/typesfuns.tex
Merge branch 'jfdm-nat-printing'