This made me wonder: why is `Function` not a `DefTree`? It introduces a binding, but doesn't have a(n interesting) name. Still sounds pretty deffy to me.