rename rules module to strategies
rules -> strategies in matrix expressions
rules -> strategies in unify
rules -> strategies in setup.py