added abs_module, fix defect in canonizer for AddTerm and MulTerm