derive some tokens instead:fix
make Directive alident
refine Val
LocalType refined