refactor types to allow sets for the states
implement rules_for upt to top of p100
WIP