Smart Contracts Proposal MAST Inches Closer to Bitcoin's Code