Moved expression related functions to a separate file. Adding addition, subtraction predicates -- going to add more for each expression.