Use unicode to display de Bruijn lterms nicely

This uses three different types of unicode spaces for syntax.