fix typos and reword some portions of the proposal

What about making these functions implementation-defined instead of undefined?