[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.