The only option that you described is called "hyperstatic global environment". And it is called that for a reason, it is not very dynamic :) and probably too s

The only option that you described is called "hyperstatic global environment". And it is called that for a reason, it is not very dynamic :) and probably too static to the taste of many Lisp and all Smalltalk fans.