undefined now triggers an error in SFINAE-able contexts.
Document why we use bool_<> instead of bool for enablers.