improved let indenting
contextual forall/exists highlighting