Fixing modules names with 'syntax' in it. Reserved keyword since update of concrete syntax feature.