> CUE spec

Have you heard of Ada, whose type system does the same thing?