Add a version of IState to Conor.v