Natural Transformations and Data Refinement