TurboDynoChecker - checking types in runtime via type annotations (PEP-3107)