add a naive subset type + values. I want to get rid of the dot when building them though