remove tactics, word_operators, and primitives from highlighting
remove tactics, word_operators, and primitives from highlighting

zmughal/pygments-mirror,sol/pygments,zmughal/pygments-mirror,sol/pygments,sol/pygments,zmughal/pygments-mirror,sol/pygments,zmughal/pygments-mirror,zmughal/pygments-mirror,sol/pygments,zmughal/pygments-mirror,zmughal/pygments-mirror,zmughal/pygments-mirror,zmughal/pygments-mirror,sol/pygments,zmughal/pygments-mirror,zmughal/pygments-mirror,zmughal/pygments-mirror,sol/pygments,zmughal/pygments-mirror,zmughal/pygments-mirror,zmughal/pygments-mirror,zmughal/pygments-mirror,sol/pygments,sol/pygments,sol/pygments,sol/pygments,zmughal/pygments-mirror,zmughal/pygments-mirror,sol/pygments,zmughal/pygments-mirror,sol/pygments,sol/pygments