They are not typeless but dynamically typed. It's an important distinction. The values have types it's just types aren't visible at compile time but can (must)

They are not typeless but dynamically typed. It's an important distinction. The values have types it's just types aren't visible at compile time but can (must) be queried at run time to do anything useful with those values.