MOD refactoring
MOD refactoring
MOD refactoring
MOD testcase more easily read
ADD Integer Term
MOD refactoring for unify
ADD numberic operator, is operator
ADD some testcases
MOD change atom type to int