Refinement Implemented As Planning Operators