Add a symbol table for mapping names of constants, variables and predicates to numbers and back.
Add a symbol table for mapping names of constants, variables and predicates to numbers and back.

eaburns/planit,eaburns/planit