Generic Math.md: Refactor onto single type hierarchy. (#2462)

* Generic Math.md

Restrict lerp function to F matrices.

* Update Proposal - Generic Math.md

* Propose detupling / implicit tuple conversion.

* Propose extension API for Math 3.0

* Propose only square identity matrices.

* Update Proposal - Generic Math.md

* Update Proposal - Generic Math.md

* Update Proposal - Generic Math.md

* Update Proposal - Generic Math.md

* Address feedback.

* Moved Log2 to an IBinaryNumber<> extension

* Update Proposal - Generic Math.md

Update with meetings notes.

* Update Proposal - Generic Math.md

Update status.

Author: otac0n