changed Static_Arrays back to the way it was; Removed all usages of Std Facilities
Merge pull request #14 from yushan87/bug-fix

changed Static_Arrays back to the way it was; Removed all usages of Std ...
added commutative/associative/distributive theorems
Merge pull request #15 from yushan87/master

added commutative/associative/distributive theorems