+ expression rendering and redexes highlighting