Replaces the List<int[]> state type with a custom type, IState; adds the subsumes and unsubsume functors