Hi,
is there a particular reason why C-u C-c C-t is not the default behaviour of C-c C-t?
Perhaps it's better if C-c C-t always tries to look at the context, but then offers that choice to the user in a way that is correctable by the user. Say it prompts for (flet foo) for a local function.
-T.