use SDF's module rule
fixed name binding for core syntax
new generated files