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