gui: Remove redundant arrow columns
symbol: Improve constness
model: Add getter for symbols
gui: Process instructions on selecting symbol