Добавлен TypeChecker

Протестирован на корректных программах, осталось на некорректных.