Implement listed cat-theory simplification rules

[zliu41]

as listed in https://github.com/conal/concat/blob/master/classes/src/ConCat/AltCat.hs#L558, there are many cat-theory law-based rules which should be used by our simplifier. When custom rule simplifier is implemented, we need to install those rules into the system.

AC:

• implement the rules
• make test cases
• apply this to actual control code and report the difference and check the improvement

(Extricated from https://kitty-hawk.atlassian.net/browse/SW-3379)