[maleldil]

That's a lot of different tools for something that could simply be a statically defined type with compile-time checking.

[erichocean]

No it can't, but hey, there's a talk about that!

The Value of Values: https://www.youtube.com/watch?v=-I-VpPMzG7c

Using types to model data is a terrible idea.