akrzemi1/Optional — pull request #3 by AGWA (2013-05-20 03:03:03+00:00)
Title: 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).