add src/Symbol.hs