Use unicode to display de Bruijn lterms nicely

This uses three different types of unicode spaces for syntax.
Merge pull request #11 from knuton/notation_hackery

Use unicode to display de Bruijn lterms nicely