fixed namespace in src/Symbol.hs