I don't think you need it - when we walk for structs, we want to collect bindings of their fields and for that DefBinding does the job,