Now with actual lex ordering enabled. It passes unit tests. It might even work.
Merge branch 'master' of https://github.com/broune/mathicgb