The get_age example uses `dynamic()` to accept any type, but I'm wondering if there will be a way to structurally type it as `%{age: number()}` or equivalent. I didn't see anything comparable in the other examples.