Начало возрождения концепции type_id.

Только описан класс TypeInfo.
Хочется всё написать минимумом шаблонов.
Возникли проблемы с отладочными функциями.
Переписаны многие операции через шаблоны.

Осталось привязать из к парсеру и запустить.
Надо придумать, как создавать векторы.
Все шаблоны типов с метаинформацией внедрены. Собралось. Тестировать!!!

Протестировать всё, написать тесты на все функции.
Провести рефакторинг, распределить по файлам правильно.
Доделать векторы и байтовые массивы. Особенно функцию создания вектора.
Добавлен шаблон функции с произвольным числом аргументов для векторов.

Возможно, придётся изменить при оптимизации.
Надо подумать сделать шаблон унарных операций и все базовые функции
переписать через него, чтобы одну и ту же метаинформацию в коде не
таскать.
Подчислил работу с байтовыми массивами.

Но нужно ещё подумать про обработку строк и доступ к массиву.
Merge branch 'types-experiment' into develop