[kenbot]

You can write any program with a Turing machine. That's a silly definition of a type system. I've never heard this usage anywhere else.