Add tests for commutativity
rm unused files
Readme and some comments