MAST to further reduce Bitcoin transaction sizes

Merklized Abstract Syntax Tree (MAST) is a BIP (Bitcoin Improvement Proposal) that will enable Bitcoin to facilitate incredibly complex smart contracts, by extrapolating the power of Merkle trees and adding onto the current P2SH (Pay to Script Hash) capabilities of Bitcoin.
This is what a P2SH transaction would look like if visualized.
Combining the best of both worlds there is MAST, a solution that is capable of limiting and guiding conditionals for transactions, while at the same time hav