Removed unnecessary import
Typos and abstract syntax for rules