clean up test/TestQE.hs a bit
clean up Groebner basis API