typos in Symbolic.hs