add references
make pretty printing of relative deBruijn index variables work