[black_knight]

I think we should have more semantic highlighting. Like giving every variable a unique color. Or color them by type!