Comment by kbr

I think you might be describing refinement type systems [1]?

[1] https://en.wikipedia.org/wiki/Refinement_type