Anyone have any idea how to make Emacs highlight unbound and shadowing Scheme variables? Locating errors involving these variables seems to take up a reasonable percentage of my debugging cycle, and it would be very helpful to discover them up front.