replace AllApplicative by tensor monoid

[andrevidela]

• Add TensorMonoid and using it for Applicative instance for the extension
• Add ProdMonoid and using it for Alternative instance for the extension
• Add SeqMonoid and using it for Monad instance for the extension
• Remove bespoke definition of AllApplicative, replace is with All TensorMonoid

Incidentally my editor removes all the extra whitespace by default, hopefully that's okay

[bgavran]

This looks good to me.

Done some tweaks:

• Reorganised new files a bit to follow the existing practices inside the Data.Container directory
• Changed the unit of TensorMonoid List instance to use 1 instead of 0 (I believe that's the right unit)
• Removed the legacy 'AllApplicative' in favour of 'All TensorMonoid'
• Started making the transition of linalg operations to TensorMonoid
• Added some missing TensorMonoid instances that fail to build for the examples directory (Maybe, BinTreeLeaf, BinTree)

Still todos:

• Finish making the full transition of linalg operations
• Go through the Data.Container.Applicative directory and check what can be deleted