Changes for N3672

These commits implement the changes since N3527 except for the changes to the relational operators (I haven't had a chance yet to fully read that part of the paper).