I agree. I rather like that part of Kernel.
---
"Unfortunately, neither of these approaches does what you want with 'def."
Mind explaining? It seems the unwrap technique would work just fine, right? I'm assuming that passing a fexpr to unwrap would just return the fexpr.