Invest in Rewrite rules

[bolt12]

There are several algebraic properties in Linear Algebra of Programming that can save computation time! We should have them wherever possible so the compiler can optimize the code!