Трассировщики для регулярных объектов: тип счётчика через политику многопоточности
optional - убрать нестандартую функцию value_unsafe
assert в optional::operator*
1. проверка концепций в алгоритме copy

2. заготовки концепций для последовательностей