Any turning complete language can only uphold the Sapir-Whorf hypothesis at the level of types, kinds or higher. By definition at the term level you can expres

Any turning complete language can only uphold the Sapir-Whorf hypothesis at the level of types, kinds or higher. By definition at the term level you can express any cognitive categories. The weak hypothesis applies, since languages encourage use of terms in cognitive categories amenable the type system.