Revised implementation of operator and rule syntax
Add sorts to operator definitions (as dummies for now)