[epicureanideal]

What about context coloring the background color and syntax coloring the code? Which maps well conceptually as well.

[epicureanideal]

Another idea... what about the IDE inserting a subscript or superscript after a variable to indicate how many contexts removed from the current context it was defined? Or possibly to indicate type information.