style syntax
ignore annos in renaming main rule
improve error messages