added groups to theory;
small fix in Plugin.axiom/theory