Reminds me of Pascal having dependent types like

    var
      age: 18 ... 130;