Replaced previous Integer_Theory

Bill’s theory with a few omitted operators defined.