Ввёл систему типов

Будет использовано при решении задачи импорта #36.