added more comments in Refinement.lhs