fix standard implementation for value() and bound(), fix bruteforce movemaking

* bruteforce should now deal with sum prod too
* movemaking can now deal with Multiplication and small values near or equal zero

* This pull request replaces pull request #75