Symbol tables in term_system/symbols.ml