Current Working Version

This did not yet implement the Associative Property.
An overview for the Associative Approach is captured on overview.jpg
This is a working version, but Associative law is not yet implemented.
But I fixed a problem with the Distributive law, not catching cases like
2*3*(3+x)+x (bugging with the + x)