The start of a buchberger algorithm in haskell