Implemented ORSets

An implementation of state-based ORSet added