added Groebnerable type class