Použil si knižnice na overovanie v čase behu a overovanie typov, napríklad na kontrolu dát získaných z API?