clean up Data.Polynomial a bit
improve documentation of Data.Polynomial a bit