If what it has are a handful of special cases baked into the language, saying the language supports it is probably overselling (similarly, having types like `fl

If what it has are a handful of special cases baked into the language, saying the language supports it is probably overselling (similarly, having types like `float[3]' doesn't mean we consider C as supporting dependent types).