A proposal for standard ML