Monoidal action tests
Cleaning
More cleaning
Misc