Constrainte the value of a variable with it's type