реализация функций проверки типов #14
Merge pull request #15 from finico/features/14-type-checker

реализация функций проверки типов #14