Latex backend:  Coloring improvements. Separate style for sorts, rule variables, new color for cells, separate style for k brackets (as opposed for syntactic brackets).