[Report] wrote some more pieces
[Report] Adds some text about compression. Adds conclusion
[Report] Adds invertibility and a stub for ``commutativity''