Better operator coloring & backwards go-to-source navigation