For complex package environments, it is not really feasible to use SIGNAL ON NOVALUE for error checking because the SIGNAL only sees labels local to an execution context. This would require adding signal handlers to every method, which would work against the desire to have small sized methods. In this sort of environment, the errors often show up in called methods when uninitialized variables as passed as arguments. It would be nice if the ::options instruction allowed the default NOVALUE action be to raise an immediate error when an uninitialized variable is used. This would be enabled at the package level, so any author can choose what behavior is desired. Another interesting enhancement might be to allow a novalue handling object be installed at the package level, but raising the error would be a handy first step.