Implement N3672, optional<T>.