Implement MRef and MBinary.