Continue Tensor Products.
Organize everthing into modules. Import cleanup. Various Cleanups.
Revert latest Tensor work.
Some reorganisation.
Give each abelian group the list of actions it is free over.
Some renaming.
Automatically generate proof list from structure list.
Finish auto generating proof list. Over engineering is a lie.
Burp.