If so, should we change their names per Sean Parent's comment at https://github.com/microsoft/GSL/issues/1032 ?