These issues have been thought about. I suggest you speak to either Sussman or Steele about the function similarities of the package system and the lexical binding mechanism of SCHEME. This is a complex subject, probably deserving serious and hard research.