Export Val.{recTag,recFieldVal,recRest} lenses for RecExtend