I want to type a variable to be list of finite set of valid values. So basically, I would like to have the typing equivalent of the following minimal example:
val
