[WIP] Store possible values as applicative constants