Heh, quite the interesting idea.
Actually, I am currently considering upgrading the Numeric library so that it will (when using the overload_operators: true option) switch between the built-in Kernel functionality and the overloaded functionality depending on if we are in a guard-clause or not.
Maybe providing proper error messages when doing it like that is possible as well… 
