Working on the new symbol id and documentation