[lmm]

The same applies to type systems these days - you don't just express basics like nullable or not, you build high level business concerns into your types.