Another obvious things C should do:

- better enums (with tagged union)

- compile time type introspection

D does the latter (very well btw), but completely missed the mark with enums