А зачем нужна типизация без проверки?
В целом — вряд ли для чего-то нужна, но я стараюсь учитывать, что процессы могут рассматривать отделяя один от другого, а значит и понятия желательно называть более подходяще.
К тому же, есть подозрение, что может быть статическая типизация и "динамическая проверка типов" (когда условная int-переменная автоматом кастится в string-переменную при запросе именно стринга).