Updated PropExt.lp (Deducteam#37)

* Update PropExt.lp

- Changed direction of simplification rules
- Added some theorems for commutativity of connectives
- Added some simplifications
- Replace rules for literal transformations with additional Simplification rules to avoid duplication

* Made theorems opaque

* Change direction of polarity_switch

Author: melanie-taprogge