Adds Subract "op" to eval primex3 and some example computations