From the post: "I’m aware of typed languages that compile to Lua, but here’s a native approach."

Regarding teal specifically: It currently doesn't support union types as described in the post (see the 'Current limitations of union types' section of the tutorial: https://pdesaulniers.github.io/tl/tutorial.html