| CicNotationPt.Record (params, n, ty, fields) ->
CicNotationPt.Record (freshen_capture_variables params, n,
freshen_term ty, freshen_name_ty_b fields)
| CicNotationPt.Record (params, n, ty, fields) ->
CicNotationPt.Record (freshen_capture_variables params, n,
freshen_term ty, freshen_name_ty_b fields)