Add color for debrujin indices, fixes to PP for intlang letrec
Added coloring for annotated functions