Options for making fixed state types, used in discrete update generator
Validator to check against schema, generated text passing for iafalpha.