More cleanups of AlgSimplify module.