Fix unneeded import in AMSSymb.hs