Another point to make in this context: for metaprogramming of all sorts, including blocks of code used in parser/generators & database routines/triggers, a development system could provide a set of intrinsic types for blocks & functions that allowed various sorts of operations/references to be ruled out as a safety check.