removed ambiguity in grammar of theories;
now we have to specify whether a datalog predicate is an axiom or a theory;
updated builtin.theory with new syntax