Статычная праверка тыпаў