Remove stale token
Printing of variables resilient to invalid DeBruijn indices
Fix a bug in adding definition rewrite hints.
Merge branch 'master' of github.com:andrejbauer/tt

Conflicts:
	doc/tt.tex