Removed symbol table (symbols are just a special case of formulas)