Good question. I debated it with myself when I wrote it, and couldn't find a best choice. `UndefType` might be better since `VarDef`s can be used in local blocks, yes.