Adding some documentation, removing need for global symbol_table.